Rings containing a field of characteristic zero

Let K be a field of characteristic zero, and let R be a ring containing K. Then either \(R^\times = K^\times \) or \(K^\times \) is a subgroup of infinite index in \(R^\times \).     

On exceptional groups of order p5

A finite group G is exceptional if it has a quotient Q whose minimal faithful permutation degree is greater than that of G. We say that Q is a distinguished quotient.The smallest examples of exceptional p-groups have order $p^5$. For an odd prime p, we classify all pairs $(G,Q)$ where G has order $p^5$ and Q is a distinguished quotient. (The case $p=2$ has already been treated by Easdown and Praeger.) We establish the striking asymptotic result that as p increases, the proportion of groups of order $p^5$ with at least one exceptional quotient tends to 1/2.     

Self-Optimization of the Active Site of Molybdenum Disulfide by an Irreversible Phase Transition during Photocatalytic Hydrogen Evolution

The metallic 1T-MoS₂ has attracted considerable attention as an effective catalyst for hydrogen evolution reactions (HERs). However, the fundamental mechanism about the catalytic activity of 1T-MoS₂ and the associated phase evolution remain elusive and controversial. Herein, we prepared the most stable 1T-MoS₂ by hydrothermal exfoliation of MoS₂ nanosheets vertically rooted into rigid one-dimensional TiO₂ nanofibers. The 1T-MoS₂ can keep highly stable over one year, presenting an ideal model system for investigating the HER catalytic activities as a function of the phase evolution. Both experimental studies and theoretical calculations suggest that 1T phase can be irreversibly transformed into a more active 1T′ phase as true active sites in photocatalytic HERs, resulting in a “catalytic site self-optimization”. Hydrogen atom adsorption is the major driving force for this phase transition.     

Maximizing H‐Colorings of Connected Graphs with Fixed Minimum Degree

For graphs G and H , an H‐coloring of G is a map from the vertices of G to the vertices of H that preserves edge adjacency. We consider the following extremal enumerative question: for a given H , which connected n‐vertex graph with minimum degree δ maximizes the number of H‐colorings? We show that for nonregular H and sufficiently large n , the complete bipartite graph is the unique maximizer. As a corollary, for nonregular H and sufficiently large n the graph is the unique k‐connected graph that maximizes the number of H‐colorings among all k‐connected graphs. Finally, we show that this conclusion does not hold for all regular H by exhibiting a connected n‐vertex graph with minimum degree δ that has more ‐colorings (for sufficiently large q and n ) than .     

On the Number of 5‐Cycles in a Tournament

We find a formula for the number of directed 5‐cycles in a tournament in terms of its edge scores and use the formula to find upper and lower bounds on the number of 5‐cycles in any n‐tournament. In particular, we show that the maximum number of 5‐cycles is asymptotically equal to , the expected number 5‐cycles in a random tournament (), with equality (up to order of magnitude) for almost all tournaments.     

Convergence analysis for second‐order accurate schemes for the periodic nonlocal Allen‐Cahn and Cahn‐Hilliard equations

In this paper, we provide a detailed convergence analysis for fully discrete second‐order (in both time and space) numerical schemes for nonlocal Allen‐Cahn and nonlocal Cahn‐Hilliard equations. The unconditional unique solvability and energy stability ensures ? ⁴ stability. The convergence analysis for the nonlocal Allen‐Cahn equation follows the standard procedure of consistency and stability estimate for the numerical error function. For the nonlocal Cahn‐Hilliard equation, because of the complicated form of the nonlinear term, a careful expansion of its discrete gradient is undertaken, and an H ^?1 inner‐product estimate of this nonlinear numerical error is derived to establish convergence. In addition, an a priori bound of the numerical solution at the discrete level is needed in the error estimate. Such a bound can be obtained by performing a higher order consistency analysis by using asymptotic expansions for the numerical solution. Following the technique originally proposed by Strang (eg, 1964), instead of the standard comparison between the exact and numerical solutions, an error estimate between the numerical solution and the constructed approximate solution yields an O (s ³+h ⁴) convergence in norm, in which s and h denote the time step and spatial mesh sizes, respectively. This in turn leads to the necessary bound under a standard constraint s ≤C h . Here, we also prove convergence of the scheme in the maximum norm under the same constraint.     

The pseudomonotone polar for multivalued operators

In this work, we study the pseudomonotonicity of multivalued operators from the point of view of polarity, in an analogous way as the well-known monotone polar due to Martínez-Legaz and Svaiter, and the quasimonotone polar recently introduced by Bueno and Cotrina. We show that this new polar, adapted for pseudomonotonicity, possesses analogous properties to the monotone and quasimonotone polar, among which are a characterization of pseudomonotonicity, maximality and pre-maximality. Furthermore, we characterize the notion of D-maximal pseudomonotonicity introduced by Hadjisavvas. We conclude this work studying the connections between pseudomonotonicity, variational inequality problems and upper sign-continuity.     

Partial regularity and smooth topology-preserving approximations of rough domains

For a bounded domain \(\Omega \subset {\mathbb R}^m, m\ge 2,\) of class \(C^0\), the properties are studied of fields of ‘good directions’, that is the directions with respect to which \(\partial \Omega \) can be locally represented as the graph of a continuous function. For any such domain there is a canonical smooth field of good directions defined in a suitable neighbourhood of \(\partial \Omega \), in terms of which a corresponding flow can be defined. Using this flow it is shown that \(\Omega \) can be approximated from the inside and the outside by diffeomorphic domains of class \(C^\infty \). Whether or not the image of a general continuous field of good directions (pseudonormals) defined on \(\partial \Omega \) is the whole of \(S^{m-1}\) is shown to depend on the topology of \(\Omega \). These considerations are used to prove that if \(m=2,3\), or if \(\Omega \) has nonzero Euler characteristic, there is a point \(P\in \partial \Omega \) in the neighbourhood of which \(\partial \Omega \) is Lipschitz. The results provide new information even for more regular domains, with Lipschitz or smooth boundaries.     

Indefinite integrals involving complete elliptic integrals of the third kind

A method developed recently for obtaining indefinite integrals of functions obeying inhomogeneous second-order linear differential equations has been applied to obtain integrals with respect to the modulus of the complete elliptic integral of the third kind. A formula is derived which gives an integral involving the complete integral of the third kind for every known integral for the complete elliptic integral of the second kind. The formula requires only differentiation and can therefore be applied for any such integral, and it is applied here to almost all such integrals given in the literature. Some additional integrals are derived using the recurrence relations for the complete elliptic integrals. This gives a total of 27 integrals for the complete integral of the third kind, including the single integral given in the literature. Some typographical errors in a previous related paper are corrected.